منابع مشابه
On the semantic foundations of Probabilistic VERUS
In this paper we explain the semantic foundations of the tool Probabilistic VERUS Har98]. A Probabilistic VERUS program P consists of sequential randomized processes S 1 ; : : : ; S k that are executed in parallel and that communicate via shared variables. First we give an operational semantics for the sequential components on the basis of a transition relation deened in the classical SOS-style...
متن کاملSclerotherapy Verus Propranolol After a Variceal Bleed
operation11. Until surgeons are more alert to a preoperative or peroperative diagnosis and until the limits of radical surgery are defined the further treatment of gallbladder carcinoma invading perimuscular connective tissue but not serosa must remain an open question. Gallbladder carcinoma first diagnosed by microscopic examination of gallbladders removed for presumed benign disease. (1990) O...
متن کاملThe Verus Language : Representing Time efficiently with BDDs 1
There have been significant advances on formal methods and tools to verify real-time systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the verification of industrial systems. One reasons for this is that formal methods are still difficult to apply efficiently. Another reason is that even though being more efficient than previous ones, verific...
متن کاملSavanna Chimpanzees, Pan troglodytes verus, Hunt with Tools
Although tool use is known to occur in species ranging from naked mole rats [1] to owls [2], chimpanzees are the most accomplished tool users [3-5]. The modification and use of tools during hunting, however, is still considered to be a uniquely human trait among primates. Here, we report the first account of habitual tool use during vertebrate hunting by nonhumans. At the Fongoli site in Senega...
متن کاملSpatial abilities of Wild Chimpanzees Pan troglodytes verus
............................................................................................................................. 7 RESUME ................................................................................................................................. 8 ZUSAMMENFASSUNG ............................................................................................................. 9 IN...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Endocrinologica
سال: 1952
ISSN: 0804-4643,1479-683X
DOI: 10.1530/acta.0.0090297